Blar i Bergen Open Research Archive på forfatter "Pun, Violet Ka I"
-
Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data
Aminifar, Amin; Matin, Shokri; Rabbi, Fazle; Pun, Violet Ka I; Lamo, Yngve (Journal article; Peer reviewed, 2022)Artificial intelligence and machine learning have recently attracted considerable attention in the healthcare domain. The data used by machine learning algorithms in healthcare applications is often distributed over multiple ... -
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking
Abusdal, Ole Jørgen; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker (Journal article; Peer reviewed, 2022)Static analysers are traditionally used to check various correctness properties of software. In the face of refactorings that can have adverse effects on correctness, developers need to analyse the code after refactoring ...